/*
	klib_page_alloc.h

	Contains functionality for allocating and deallocating pages and other page-related tasks

	Author: Aidan Goddard 19/8/13
*/

#ifndef KLIB_PAGE_ALLOC_H_INCLUDED
#define KLIB_PAGE_ALLOC_H_INCLUDED

typedef uint64_t PAGE_BASE;

PAGE_BASE	__KLIB__AllocPage();
void 		__KLIB__DeallocPage(PAGE_BASE page);
void		__KLIB__MapPageForIO(PAGE_BASE page);
uint32_t	__KLIB__GetFreePageCount();

#endif
